The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will (...) make this volume an invaluable resource for specialists and non-specialists alike. (shrink)

Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions ...

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and (...) interested nonspecialist. (shrink)

Some propositional attitude verbs require that the complement contain some “subjective predicate”. In terms of the theory proposed by Lasersohn, these verbs would seem to identify the “judge” of the embedded proposition with the matrix subject, and there have been suggestions in this direction. I show that it is possible to analyze these verbs as setting the judge and doing nothing more; then according to whether a judge index or a judge argument is assumed, unless the complement contains a subjective (...) predicate, the whole matrix is redundant or there is a type conflict. I further show that certain clear facts argue for assuming a judge argument which can be filled by a contextually salient entity–or by the subject of a subjective attitude verb. (shrink)

abstract In 2002 Diane Pretty went to the European Court of Human Rights to gain a ruling about assisted suicide. In the course of this she argued that the right to life implied a right to die. This paper will consider, from an ethical rather than a legal point of view, how the right to life might imply (or not) a right to die, and whether this includes either a right that others shall help us die, or a right against (...) non‐interference if others are willing to help us. It does this by comparing the right to life to conceptions of property rights. This is not because I think human life is property, but because some of our ways of talking and thinking about our control over our own lives seem to be similar to our thoughts about our control over our own property. The right to life has traditionally been taken as a negative right, that is a right that others not deprive us of life. Pretty's argument, however, seems to be moving towards a positive right, not just to remain alive, but to be enabled in doing what we want to with our lives, and thus disposing of them if we so choose. The comparison with property rights suggests that the right to die only applies if our lives are ours absolutely, and may itself be modified by the suggestion that suicide harms all of us by devaluing human life in general. (shrink)

Издание предназначено для специалистов по истории зарубежной философии, онтологии и теории познания; читателей, интересующихся историей философии и историей культуры.

Two main methods for analysing de re readings of definite descriptions in intensional contexts coexist: that of evaluating the description in the actual world, whether by means of scope, actuality operators, or non-local world binding, and that of substituting another description, usually one expressing a salient or ‘vivid’ acquaintance relation to an attitude holder, prior to evaluation. Recent work on so-called descriptive indexicals suggests that contrary to common assumptions, both methods are needed, for different ends. This paper aims to show (...) that there is indeed a division of labour between the two methods of analysis and to identify criteria for choosing among alternative ways to model the second, substitutional method. (shrink)

Explains the intersubjective nature of the self and the function of role taking in the development of the personal level of intersubjectivity out of primordial, pre-personal sociality or corporeal intersubjectivity of the lived body. Pragmatic philosophy of George Herbert Mead; Existential-phenomenology of Maurice Merleau-Ponty; Fundamental and pervasive rapport; More.

How questions are understudied in philosophy and linguistics. They can be answered in very different ways, some of which are poorly understood. Jaworski identifies several types: ‘manner’, ‘method, means or mechanism’, ‘cognitive resolution’, and develops a logic designed to enable us to distinguish among them. Some key questions remain open, however, in particular, whether these distinctions derive from an ambiguity in how, from differences in the logical structure of the question or from contextual underspecification. Arguing from two classes of responses, (...) adverbs and by gerunds, I give the answer that the logical structure of the question is indeed relevant: loosely, manners are adjuncts but methods are arguments. (shrink)

Logicians and theoretical physicists will also benefit from this book.

The merit of Plato’s Laws remains largely untapped by those seeking genuinely collaborative models of the doctor–patient tie as alternatives to paternalism and autonomy. A persistent difficulty confronting proposed alternatives has been surpassing the notion of pronounced intellectual and values asymmetry favoring the doctor. Having discussed two prominent proposals, both of which evince marked paternalism, I argue that reflection on Plato yields four criteria that a genuinely collaborative model must meet and suggest how the Laws addresses them. In the process, (...) the Laws’ doctor–patient tie is shown to be far more nuanced than interpreters have previously observed. Although Plato’s account will not solve our own quandaries, it illustrates how one might retain asymmetry of a kind without capitulating to familiar oppositional modalities. Through this account, I hope to show that the Laws merits fuller inclusion in contemporary discussions than it has heretofore received. (shrink)

The type of mood or tense marking that causes counterfactuality inferences—as figuring prominently, but far from exclusively, in counterfactual conditionals—has not yet received a comprehensive and compositional analysis. Focusing on four languages, the paper presents under-appreciated facts and a novel theory where the mood serves to activate alternatives to modal operators, particularly one: the identity operator, often giving rise to counterfactual implicatures.

Монография предназначена студентам старших курсов высших учебных заведений факультета иностранных языков, аспирантам и преподавателям.

The capacity-building strategy used by a US-based research organisation, the Pacific Institute for Research and Evaluation , to strengthen the system for the protection of human research subjects and the infrastructure of its international collaborating partner, the University of Liberia, are discussed. To conduct the much-needed biomedical and social science-based research-related activities in the future, this partnership is expected by PIRE to gradually evolve over time to strengthen the capacity of the local investigators and administrators of the University of Liberia. (...) Accordingly, a unique opportunity to share technology and resources with a post-conflict, resource-constrained country is created by this partnership. This capacity-building model to strengthen the protection of human subjects in research can also be replicated in similar resource-constrained international settings and, accordingly, our experiences and limitations are shared in this paper. (shrink)